class C {
  String empty = """
<caret>""";
}